1. Introduction to mathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Metamathematics
رده :
QA
9
.
K65
2. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
K6
3. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole,9091-, by Stephen Cole Kleene
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
5. Introduction to metamathematics /
پدیدآورنده : by Stephen Cole Kleene.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica
6. Introduntion to metamthematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Metamathematics,Logie, Symbolic and mathematical
رده :
QA
9
.
K65
7. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
8. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
9. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
10. Mathematical logic
پدیدآورنده : KLEENE,STEPHEN COLE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-PHILOSOPHY , LOGIC SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
K652
11. Mathematical logic.
پدیدآورنده : Kleene, Stephen Cole 1909-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
K652
1968
12. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
K652
13. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
14. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
15. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
16. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
